Search results for "discrete [space-time]"

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

Computing Subdivision Surface Intersection

2003

Computer surface intersections is fundamental problem in geometric modeling. Any Boolean operation can be seen as an intersection calculation followed by a selection of parts necessary for building the surface of the resulting object. This paper deals with the computing of intersection curveson subdivision surfaces (surfaces generated by the Loop scheme). We present three variants of our algorithm. The first variant calculates this intersection after classification of the object faces into intersecting and non-intersecting pairs of faces. the second variant is based on 1-neighborhood of the intersecting faces. The third variant uses the concept of bipartite graph.

Trend of inter-arrival times of rainfall events for Italian Sub-Alpine and Mediterranean areas

2011

Generalized wave propagation problems and discrete exterior calculus

2018

We introduce a general class of second-order boundary value problems unifying application areas such as acoustics, electromagnetism, elastodynamics, quantum mechanics, and so on, into a single framework. This also enables us to solve wave propagation problems very efficiently with a single software system. The solution method precisely follows the conservation laws in finite-dimensional systems, whereas the constitutive relations are imposed approximately. We employ discrete exterior calculus for the spatial discretization, use natural crystal structures for three-dimensional meshing, and derive a “discrete Hodge” adapted to harmonic wave. The numerical experiments indicate that the cumulat…

Mappings of Lp-integrable distortion: regularity of the inverse

2016

Let be an open set in ℝn and suppose that is a Sobolev homeomorphism. We study the regularity of f–1 under the Lp-integrability assumption on the distortion function Kf. First, if is the unit ball and p > n – 1, then the optimal local modulus of continuity of f–1 is attained by a radially symmetric mapping. We show that this is not the case when p ⩽ n – 1 and n ⩾ 3, and answer a question raised by S. Hencl and P. Koskela. Second, we obtain the optimal integrability results for ∣Df–1∣ in terms of the Lp-integrability assumptions of Kf.

Rocking behaviour of multi-block columns subjected to pulse-typeground motion accelerations

2016

Ancient columns, made with a variety of materials such as marble, granite, stone or masonry are an important part of theEuropean cultural heritage. In particular columns of ancient temples in Greece and Sicily which support only the architrave arecharacterized by small axial load values. This feature together with the slenderness typical of these structural members clearlyhighlights as the evaluation of the rocking behaviour is a key aspect of their safety assessment and maintenance. It has to be notedthat the rocking response of rectangular cross-sectional columns modelled as monolithic rigid elements, has been widely investigatedsince the first theoretical study carried out by Housner (19…

The Joint Distribution Criterion and the Distance Tests for Selective Probabilistic Causality

2010

A general definition and a criterion (a necessary and sufficient condition) are formulated for an arbitrary set of external factors to selectively influence a corresponding set of random entities (generalized random variables, with values in arbitrary observation spaces), jointly distributed at every treatment (a set of factor values containing precisely one value of each factor). The random entities are selectively influenced by the corresponding factors if and only if the following condition, called the joint distribution criterion, is satisfied : there is a jointly distributed set of random entities, one entity for every value of every factor, such that every subset of this set that corr…

Quantum walks: background geometry and gauge invariance

2019

Ciertos tipos de problemas no pueden resolverse usando los actuales ordenadores clásicos. Una forma de encontrar una solución, es mediante el uso de ordenadores cuánticos. Sin embargo, construir un ordenador cuántico es realmente complicado actualmente, debido a las limitaciones tecnológicas. Mientras tanto, los simuladores cuánticos han sido capaces de resolver algunos de estos problemas, ya que los simuladores cuánticos son más accesibles experimentalmente. Las llamadas caminatas cuánticas, en su versión discreta, son una herramienta muy útil para simular ciertos sistemas físicos. En el límite al continuo, se puede obtener una serie de ecuaciones diferenciales, particularmente, la ecuació…

Highmann's Theorem on Discrete Sets

2006

In this paper we investigate properties of different classes of discrete sets with respect to the partial-order of subpicture. In particular we take in consideration the classes of convex polyominoes and L-convex polyominoes. In the first part of the paper we study closure properties of these classes with respect the order and we give a new characterization of L-convex polyominoes. In the second part we pose the question to extend Higman’s theoremto discrete sets. We give a negative answer in the general case and we prove that the set of L-convex polyominoes is well-partially-ordered by using a representation of L-convex polyominoes in terms of words of a regular language.

The Homogeneous Poisson Point Process

2008